package org.xteam.sled.matcher;

import java.util.List;
import java.util.Map;

import org.xteam.sled.model.AbsolutePattern;
import org.xteam.sled.semantic.exp.Exp;

public class Arm {

	private AbsolutePattern pattern;
	private Map<String, Exp> answer;
	private List<Exp> conditions;
	private String name;

	public Arm(AbsolutePattern absolutePattern, Map<String, Exp> soln,
			List<Exp> conditions) {
		this.pattern = absolutePattern;
		this.answer = soln;
		this.conditions = conditions;
	}

	public AbsolutePattern getPattern() {
		return pattern;
	}

	public List<Exp> getConditions() {
		return conditions;
	}

	public Map<String, Exp> getAnswers() {
		return answer;
	}

	public String name() {
		return name;
	}
	
	@Override
	public String toString() {
		return pattern.toString();
	}

}
